Cerioli, Maura: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

[Lecture Notes in Computer Science] Fundamental Approaches to Software Engineering Volume 3442 ||

Year:

2005

Language:

english

File:

PDF, 5.92 MB

english, 2005

2

Two experiments for evaluating the impact of Hamcrest and AssertJ on assertion development

Leotta, Maurizio, Cerioli, Maura, Olianas, Dario, Ricca, Filippo

Journal:

Software Quality Journal

Year:

2020

File:

PDF, 2.76 MB

2020

3

What Are IoT Systems for Real? An Expertsâ Survey on Software Engineering Aspects

Reggio, Gianna, Leotta, Maurizio, Cerioli, Maura, Spalazzese, Romina, Alkhabbas, Fahed

Journal:

Internet of Things

Year:

2020

File:

PDF, 1.72 MB

2020

4

[Lecture Notes in Computer Science] Fundamental Approaches to Software Engineering Volume 3442 || Improving the Build Architecture of Legacy C/C++ Software Systems

Year:

2005

File:

PDF, 439 KB

2005

5

Non-strict don't care algebras and specifications

Astesiano, Egidio, Cerioli, Maura

Journal:

Mathematical Structures in Computer Science

Year:

1996

Language:

english

File:

PDF, 2.32 MB

english, 1996

6

Very abstract specifications: a formalism independent approach

CERIOLI, MAURA, REGGIO, GIANNA

Journal:

Mathematical Structures in Computer Science

Year:

1998

Language:

english

File:

PDF, 499 KB

english, 1998

7

[Lecture Notes in Computer Science] Fundamental Approaches to Software Engineering Volume 3442 || Towards a Theory on the Role of Ontologies in Software Engineering Problem Solving

Year:

2005

Language:

english

File:

PDF, 678 KB

english, 2005

8

Introduction to the special section on fundamental approaches to software engineering

Michel Wermelinger, Tiziana Margaria, Maura Cerioli

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2007

Language:

english

File:

PDF, 76 KB

english, 2007

9

Free objects and equational deduction for partial conditional specifications

Egidio Astesiano, Maura Cerioli

Journal:

Theoretical Computer Science

Year:

1995

Language:

english

File:

PDF, 3.24 MB

english, 1995

10

[Lecture Notes in Computer Science] Fundamental Approaches to Software Engineering Volume 3442 || Augmenting UML Models for Composition Conflict Analysis

Year:

2005

Language:

english

File:

PDF, 360 KB

english, 2005

11

[Lecture Notes in Computer Science] Fundamental Approaches to Software Engineering Volume 3442 || A Tool to Automate Component Clustering and Identification

Year:

2005

Language:

english

File:

PDF, 207 KB

english, 2005

12

[IEEE 2018 11th International Conference on the Quality of Information and Communications Technology (QUATIC) - Coimbra, Portugal (2018.9.4-2018.9.7)] 2018 11th International Conference on the Quality of Information and Communications Technology (QUATIC) - Fluent vs Basic Assertions in Java: An Empirical Study

Leotta, Maurizio, Cerioli, Maura, Olianas, Dario, Ricca, Filippo

Year:

2018

Language:

english

File:

PDF, 910 KB

english, 2018

13

[Lecture Notes in Computer Science] Fundamental Approaches to Software Engineering Volume 3442 || Automated Compositional Proofs for Real-Time Systems

Year:

2005

Language:

english

File:

PDF, 185 KB

english, 2005

14

[Lecture Notes in Computer Science] Fundamental Approaches to Software Engineering Volume 3442 || Coverage Criteria for Testing of Object Interactions in Sequence Diagrams

Year:

2005

Language:

english

File:

PDF, 195 KB

english, 2005

15

Foreword

Maura Cerioli, Tiziana Margaria, Michel Wermelinger

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 112 KB

english, 2007

16

May I borrow your logic? (Transporting logical structures along maps)

Maura Cerioli, José Meseguer

Journal:

Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 2.31 MB

english, 1997

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски